$\forall$$T$:Type, $P$, $Q$:($T$$\rightarrow$Prop). ($P$ $\wedge$ $Q$) $\in$ $T$$\rightarrow$Prop